Merge branch 'wip/arnaudb/fix-dashed-border-4' into 'master'
authorTimm Bäder <mail@baedert.org>
Tue, 25 Sep 2018 07:12:58 +0000 (07:12 +0000)
committerTimm Bäder <mail@baedert.org>
Tue, 25 Sep 2018 07:12:58 +0000 (07:12 +0000)
Make dashed border-style work correctly

See merge request GNOME/gtk!355


Trivial merge